mechanical theorem proving
un. 机器证明
[网络] 定理机器证明；机器定理证明；定理的机器证明
热门查询
- naturalize vt. 移植；使入国籍；采纳 vi. 归化；加入国籍
- baronial adj. 宏大的；男爵的
- badger n. 獾；獾皮；（大写）獾州人（美国威斯康星州人的别称）；<动><澳>毛鼻袋熊 n. (Badger)人名；(英)巴杰 vt. 纠缠不休；吵着要；烦扰
- yours truly na. “ever yours”的变体 [网络] 此致；你的挚爱；敬上
- participative adj. 分担的；由多人一起参加的
- Olomouc 奥洛莫乌茨
- secretly adv. 秘密地；背地里
- uncharacteristically adv. 不典型地；非同寻常地
- Holyfield [人名] 霍利菲尔德
- instinctive adj. 本能的；直觉的；天生的
- gatecrash vt. 无票入场；不请自来 vi. 擅自入场
- arrow n. 箭，箭头；箭状物；箭头记号 vt. 以箭头指示；箭一般地飞向 n. (Arrow)人名；(英)阿罗
- fdr abbr. 富兰克林·德兰诺·罗斯福（美国第三十二任总统）（Franklin Delano Roosevelt）；飞行资料记录器（ flight data recorder ）；x射线量刻度盘读数（fluorometer dial readings）
- birdshot 鸟弹
- spur n. 鼓舞，刺激；马刺；山坡 vt. 激励，鞭策；给…装踢马刺 vi. 骑马疾驰；给予刺激 n. (Spur)人名；(意)斯普尔；(德)施普尔
- Woodbine n. 忍冬属植物；(澳洲俚语)英国人 n. (Woodbine)人名；(英)伍德拜恩
- homoclinic 同宿波
- banished v. 驱逐，流放（banish的过去分词形式）
- establishing v. 建立；确立（establish的ing形式）
- thermos n. 热水瓶
考试词汇表
- rate of melting
- rate of opening
- rate of outflow
- rate of passage
- rate of payment
- rate of postage
- rate of pouring
- rate of premium
- rate of rainall
- rate of reading
- rate of rejects
- rate of release
- rate of returns
- rate of sailing
- rate of seeding
- rate of service
- rate of setting
- rate of slaking
- rate of sorties
- rate of spoiled
